221. Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
پدیدآورنده: Luca de Alfaro, Stephen Gilmore )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2165
222. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
پدیدآورنده: Holger Hermanns, Roberto Segala, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2399
223. Research and education in robotics-EUROBOT 2008 :
پدیدآورنده: Achim Gottscheber, Stefan Enderle, David Obdrzalek (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Machine theory, Congresses.,Robotics, Congresses.,Robots, Congresses.,Informatique.,Machine theory.,Robotics.,Robots.,TECHNOLOGY & ENGINEERING-- Robotics.
رده :
TJ210
.
3
.
E976
2009eb
224. Semigroups, automata, and languages :University of Porto, 20-24, June 1994
پدیدآورنده: edited by Jorge Almeida, Gracinda M.S. Gomes, Pedro V. Silva
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Semigroups,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
182
.
S443
1996
225. Semigroups, automata, and languages : University of Porto, 20-24, June 1994
پدیدآورنده: edited by Jorge Almeida, Gracinda M.S. Gomes, Pedro V. Silva
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Semigroups - Congresses , Machine theory - Congresses , Formal languages - Congresses
رده :
QA
182
.
S443
1994
226. Sequences, subsequences, and consequences
پدیدآورنده: / Solomon W. Golomb ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Coding theory--Congresses,Sequences (Mathematics)--Congresses,Sequential machine theory--Congresses,Data encryption (Computer science)--Congresses
رده :
QA
,
268
,.
S68
,
2007
227. Sequences, subsequences, and consequences
پدیدآورنده: / Solomon W. Golomb ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Coding theory, Congresses,Sequences (Mathematics), Congresses,Sequential machine theory, Congresses,Data encryption (Computer science), Congresses
رده :
E-BOOK
228. Structural Theory of Automata, Semigroups, and Universal Algebra
پدیدآورنده: \ edited by Valery B. Kudryavtsev and Ivo G. Rosenberg ; technical editor, Martin Goldstein.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Algebra, Universal -- Congresses. ,Semigroup algebras -- Congresses,Machine theory -- Congresses. ,جبر عمومی -- کنگرهها,نظریه ماشین -- کنگره ها
رده :
E-Book
,
229. Symposium on Switching and Automata Theory, 1st- 1960-
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Switching theory-- Congresses,، Sequential machine thoery-- Congresses,، Automata-- Congresses
رده :
QA
268
.
5
.
S9a
230. Systems and computer science
پدیدآورنده: Conference on Systems and Computer Science, 5691, University of Western Ontario
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Computer science-- Congresses
رده :
QA
267
.
C6
1965
231. The oretical computer science
پدیدآورنده: / Editor Alfredo Desantis
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Machine theory-Congresses,Formal Languages-Congresses
رده :
QA267
.
I8T47
1995
232. Theoretical computer science
پدیدآورنده: 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
48
233. Theoretical computer science
پدیدآورنده: / 3rd GI conference, Darmstadt, March 28-30, 1977
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Machine theory -- Congresses,Formal languages -- Congresses
رده :
QA
267
.
G18
1977
234. Theoretical computer science : 3rd GI Conference, Darmstadt, March 28-30, 1977
پدیدآورنده: edited by H. Tzchach, H. Waldschmidt and K.-G. Walter on behalf of the GI
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
48
235. Theoretical computer science, 3rd GI Conference: Darmstadt, March 28-30, 1977
پدیدآورنده: edited by H. Tzschach, H. Waldschmidt, H. K.-G. Walter, on behalf of the GI
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، AUTOMATH )Formal language(,Congresses ، Formal languages
رده :
QA
267
.
G18
1977
236. Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979
پدیدآورنده: edited by K. Weihrauch
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
67
237. Theoretical computer science, 6th GI-Conference Dortmund, January 5-7, 1983
پدیدآورنده: Edited by A. B. Cremers and H. P. Kriegel
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congressess ، Computer science
رده :
QA
267
.
T473
1982
238. Theoretical computer science : 6th GI-Conference, Dortmund, January 5-7, 1983
پدیدآورنده: edited by A.B. Cremers and H.P. Kriegel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
145
239. Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981
پدیدآورنده: edited by Peter Deussen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
104
240. Theoretical computer science: 5th GI-Conference, Karlsruhe, March 23-25, 1981
پدیدآورنده: edited by Peter Deussen
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
T47
1981
